Tree automaton